Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
341	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
342	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
343	PROOF --OF-- CONCEPT FUND South Limburg Valorisation Programme ‘Business and Knowledge’ A GREAT CONCEPT IN NEED OF VALIDATION? Do you have a good product concept of which technical feasibility requires more work? Are Add to Reading List Source URL: www.mc4e.nl Language: English - Date: 2014-03-31 07:35:15 Valorisation Maastricht Validation Evaluation Education Science Marxist theory Proof of concept Maastricht University
344	ON THE DISTRIBUTION OF THE NUMBER OF CYCLES OF ELEMENTS IN SYMMETRIC GROUPS Don Zagier Max-Planck-Institut f¨ ur Mathematik, Bonn Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-06-28 09:31:55 Combinatorics Permutation Homotopy theory Operator theory Μ operator Proof that π is irrational Mathematics Abstract algebra Mathematical analysis
345	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus
346	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
347	Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-07-03 10:24:22 Proof theory Natural deduction Propositional calculus Sequent calculus Heyting algebra First-order logic Intuitionistic logic Cut-elimination theorem Function Logic Mathematical logic Mathematics
348	Judgment Aggregation by Quota Rules: Majority Voting Generalized Franz Dietrich Department of Quantitative Economics University of Maastricht and Add to Reading List Source URL: www.franzdietrich.net Language: English - Date: 2009-07-30 08:19:30 Propositional calculus Social choice theory Paradoxes Philosophy of language Discursive dilemma Function Proposition Mathematical proof Natural deduction Logic Mathematics Mathematical logic
349	Motivation Ingredients Examples Main result Proof ideas Add to Reading List Source URL: www.imar.ro Language: English - Date: 2011-04-30 05:55:49 Equivariant map Representation theory Finite topological space Functor Topological space Operator K-theory Approximately finite dimensional C*-algebra Topology Mathematics Abstract algebra
350	January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-02 09:38:29 Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic Mathematical logic Proof theory

UPDATE